中科院软件所成果获英伟达重点引用,打造EDA领域更强核心引擎 求解器,是工业软件的核心计算引擎,它在芯片设计、工业调度、智能制造等多个领域都有重要应用。比如,布尔可满足性问题(SAT,Satisfiability Problem)求解器就是电子设计自动化(EDA,Electronic Design Automation) 英伟达 eda 中科院 软件所成果 中科院软件所 2025-09-15 16:24 4